Thymectomy for thymic carcinoma